AFOSR Grant FA 9550 - 04 - 1 - 0151 Final Performance Report Period Covered
نویسنده
چکیده
منابع مشابه
Final report on AFOSR FA 9550 - 07 - 1 - 0426 - entitled Novel Mathematical and Computational Techniques for Robust Uncertainty Quantification
متن کامل
Specification , Design and Verification of Distributed Embedded Systems Afosr Grant Fa 9550 - 06 - 1 - 0303
We are investigating the specification, design and verification of distributed systems that combine communications, computation and control in dynamic, uncertain and adversarial environments. Our goal is to develop methods and tools for designing control policies, specifying the properties of the resulting distributed embedded system and the physical environment, and proving that the specificat...
متن کاملA Grid - Free Particle Method for Electrostatic Plasma FA 9550 - 06 - 1 - 0529 Simulations
REPORT DOCUMENTATION PAGE OMB No. 0704-0188 Pitlc mp for bu U fto,1 collection of bo~laorm i a esebnubd to avengs I hour per reaper.., W*l thme Wr fo ve.I muutacson, gewegBatn e o aco.gtwrV ed rnwintarir w dthe tudd ai ww*lg ad VA~vieg is coleclon of Wwfmnation. Serd owmments "oft dftI~ burdlen sesmimate or any othe aspect of lisa oetno = *2InUokrc r k n w est for redcirvi ft4 burden to Ds w €m...
متن کاملPlasma Sterilization Experiments FA 9550 - 06 - C - 0054
-REPORT DOCUMENTATION PAGE OMB No. 0704-0188 Public reporting burden for this collection of infonnation is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathenng and maintaining the data needed, and completing and reviewing this collection of infortmation. Send comments regarding this burden estimate or any other aspect...
متن کامل